Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
31	A Fixed-Point Algorithm for Automated Static Detection of Infinite Loops Andreas Ibing, Alexandra Mai Chair for IT Security TU M¨unchen Boltzmannstrasse 3, 85748 Garching, Germany {ibing,mai}@sec.in.tum.de Add to Reading List Source URL: www.sec.in.tum.de Language: English - Date: 2016-02-01 08:36:29 Recursion Theoretical computer science Formal methods Compiler optimizations Infinite loop Satisfiability modulo theories Control flow For loop Algorithm Termination analysis Loop unrolling Satisfiability
32	Interactive Computational Imaging for Deformable Object Analysis Donald G. Dansereau1 , Surya P. N. Singh2 , J¨urgen Leitner1 Abstract— We describe an interactive approach for visual object analysis which exploits the Add to Reading List Source URL: juxi.net Language: English - Date: 2016-05-30 21:59:06 Optical flow Perception Cognition Cognitive neuroscience Robot control
33	Finding Error-Handling Bugs in Systems Code Using Static Analysis ∗ Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2014-11-10 23:12:54 Computer errors Control flow Memory management Computer networking Error code Errno.h Pointer Exception handling Error message Ext3 Software bug Write
34	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
35	Linear-Log Time Control-Flow Analysis with Flow-Sensitivity and Predicate-Awareness Michael D. Adams School of Informatics and Computing Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Scheme Lisp T CAR and CDR
36	Minimizing Stall Time in Single and Parallel Disk Systems Using Multi ommodity Network Flows Susanne Albers and Carsten Witt Dept. of Computer S ien e, Dortmund University, 44221 Dortmund, Germany, albersls2. s.uni-dort Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:13:12 Control-flow analysis Interval Integral Lebesgue integration Heaviside step function
37	Supplemental Material for: Hele-Shaw Flow Simulation with Interactive Control using Complex Barycentric Coordinates Aviv Segall, Orestis Vantzos and Mirela Ben-Chen Technion - Israel Institute of Technology Polubarinova- Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2016-06-16 03:39:12 Complex analysis Bernhard Riemann Branch point Partial differential equations Operator theory
38	Paving the Way for NFV: Simplifying Middlebox Modifications using StateAlyzr Junaid Khalid, Aaron Gember-Jacobson, Roney Michael, Anubhavnidhi Abhashkumar, Aditya Akella University of Wisconsin-Madison Abstract Add to Reading List Source URL: opennf.cs.wisc.edu Language: English - Date: 2016-02-29 22:59:54 Computer network security Middlebox Data-flow analysis Scope Transmission Control Protocol Robust random early detection ALGOL 68 Subroutine Parameter Algorithm
39	High-Speed Demonstration of Natural Laminar Flow Wing & Load Control for Future Regional Aircraft through innovative Wind Tunnel Model Add to Reading List Source URL: www.aerodays2015.com Language: English - Date: 2015-11-03 04:14:33 Aerodynamics Aerospace engineering Elasticity Structural analysis Wind tunnel Buckling Wing Aeroelasticity
40	HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1 Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Computing Software engineering Memory management Software Computer memory Program analysis Control flow graph Data-flow analysis Data buffer C dynamic memory allocation Stack Call stack

UPDATE